Finding Inconsistencies in Programs with Loops? Temesghen Kahsai1 , Jorge A. Navas2 , Dejan Jovanovi´c3 , Martin Sch¨af3 1 2

Source URL: seahorn.github.io

• Software engineering
• Programming language theory
• Computing
• Logic in computer science
• Horn clause
• Control flow
• ALGOL 68
• Formal methods
• Logic programming

Sleep Deprivation and Information Integration The Effects of Sleep Deprivation on Information-Integration Categorization Performance W. Todd Maddox, PhD1,2; Brian D. Glass, BS1; Sasha M. Wolosin, BS1; Zachary R. Savarie

Source URL: www.homepages.ucl.ac.uk

• Cognitive science
• Neuroscience
• Neuropsychology
• Sleep
• Memory
• Sleep deprivation
• Procedural memory
• Motor learning
• Sleep in non-human animals
• Effects of sleep deprivation on cognitive performance
• Sleep and memory

Allgemeine Geschäftsbedingungen der ITEMIS AG für die Software-Überlassung itemis AG Version 2.0.1, Allgemeine Geschäftsbedingungen der ITEMIS AG für die Software-Überlassung

Source URL: legal.itemis.com

General Terms and Conditions of ITEMIS AG for Maintenance Services itemis AG Version 1.2.0, General Terms and Conditions of ITEMIS AG for Maintenance Services

Source URL: legal.itemis.com

• Itemis
• Application software

Model Checking of Hybrid Systems Goran Frehse AVACS Autumn School, October 1, 2015 Univ. Grenoble Alpes – Verimag, 2 avenue de Vignate, Centre Equation, 38610 Gières, France,

Source URL: www.avacs.org

• Differential equations
• Mathematics
• Hybrid automaton
• Hybrid system
• Systems science
• X0
• Center
• FO
• Systems theory

2 C++ API for BLAS and LAPACK Mark Gates Piotr Luszczek Ahmad Abdelfattah

Source URL: www.icl.utk.edu

• Computer programming
• Computing
• Software engineering
• Numerical software
• C++
• Numerical linear algebra
• C
• Procedural programming languages
• Math Kernel Library
• Basic Linear Algebra Subprograms
• LAPACK
• Const

24 Challenges in Deductive Software Verification∗ Reiner H¨ahnle1 and Marieke Huisman2 1 2 Technische Universit¨

Source URL: www.cs.man.ac.uk

• Theoretical computer science
• Formal methods
• Logic in computer science
• Computing
• Software engineering
• Electronic engineering
• Software testing
• Formal verification
• Runtime verification
• Software verification
• Java Modeling Language
• Verification

Syntax-Guided Optimal Synthesis for Chemical Reaction Networks∗ ˇ ska3 Martin Fr¨anzle4 , Marta Kwiatkowska2 , Luca Cardelli1,2 , Milan Ceˇ 2 Luca Laurenti , Nicola Paoletti5 , and Max Whitby2

Source URL: qav.comlab.ox.ac.uk

• Mathematical analysis
• Mathematics
• Distribution
• Functional analysis
• Markov chain

The Potential of Interference-Based Proof Systems Marijn J.H. Heule1 and Benjamin Kiesl2 1 2 Department of Computer Science, The University of Texas at Austin

Source URL: www.cs.man.ac.uk

• Logic
• Mathematical logic
• Mathematics
• Propositional calculus
• Logical truth
• Logic in computer science
• Syntax
• Automated theorem proving
• Resolution
• Frege system
• Boolean satisfiability problem
• First-order logic

Anonymous Attestation with Subverted TPMs ? Jan Camenisch1 , Manu Drijvers1,2 , and Anja Lehmann1 1

Source URL: eprint.iacr.org

• Cryptography
• Computer security
• Trusted computing
• Cryptographic software
• Direct Anonymous Attestation
• Trusted Platform Module
• Digital signature
• Secure multi-party computation
• Universal composability
• Privacy